The Logic of Leibniz's Generales Inquisitiones de Analysi Notionum et Veritatum

The Generales Inquisitiones de Analysi Notionum et Veritatum is Leibniz’s most substantive work in the area of logic. Leibniz’s central aim in this treatise is to develop a symbolic calculus of terms that is capable of underwriting all valid modes of syllogistic and propositional reasoning. The present paper provides a systematic reconstruction of the calculus developed by Leibniz in the Generales Inquisitiones. We investigate the most significant logical features of this calculus and prove that it is both sound and complete with respect to a simple class of enriched Boolean algebras which we call auto-Boolean algebras. Moreover, we show that Leibniz’s calculus can reproduce all the laws of classical propositional logic, thus allowing Leibniz to achieve his goal of reducing propositional reasoning to algebraic reasoning about terms. c © Year Association for Symbolic Logic 1 doi:doi ZU064-05-FPR leibniz April 11, 2016 7:45 2 marko malink & anubav vasudevan Table of